Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTIAGO JÚNIOR, V. A.; TAHAR, S. Time Performance Formal Evaluation of Complex Systems. Lecture Notes in Computer Science, v. 9526, p. 162-177, 2016. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W/3LSCS2H>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santiago Júnior e Tahar (2016).
... pode ser encontrada na literatura (SANTIAGO JÚNIOR; TAHAR, 2016).